1. Abstraction, refinement and proof for probabilistic systems
المؤلف: / Annabelle McIver, Carroll Morgan
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع:
رده :
E-BOOK
2. Abstraction, refinement and proof for probabilistic systems
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Engineering mathematics. ; Probabilities. ; Systems engineering. ;
3. Abstraction, refinement and proof for probabilistic systems
المؤلف: / Annabelle McIver, Carroll Morgan
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Engineering mathematics.,Probabilities.,Systems engineering.
رده :
TA
,
340
,.
M43
,
2005
4. Programming methodology
المؤلف: Annabelle McIver, Carroll Morgan )eds.(
المکتبة: (طهران)
موضوع: ، Computer programming
رده :
QA
76
.
6
.
P72
